/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
,May 9, 1978 




␈↓ ↓H␈↓Prof. M. Manougian
␈↓ ↓H␈↓Department of Mathematics
␈↓ ↓H␈↓University of South Florida
␈↓ ↓H␈↓Tampa, FLA 33620

␈↓ ↓H␈↓Dear Prof. Manougian:

␈↓ ↓H␈↓        This␈α∀is␈α∀to␈α∀con≡rm␈α∀my␈α∀telephone␈α∀remarks␈α∀about␈α∀Richard␈α∀Stark.␈α∀ I␈α∀have␈α∀had␈α∀several
␈↓ ↓H␈↓conversations␈α
with␈α
him,␈α
listened␈α
to␈α
one␈αlecture,␈α
and␈α
have␈α
read␈α
his␈α
paper␈α
proving␈αcompleteness␈α
and
␈↓ ↓H␈↓decideability␈α
of␈α
a␈αformalism␈α
for␈α
expressing␈α
facts␈αabout␈α
knowledge␈α
that␈αI␈α
developed.␈α
 In␈α
all␈αthese
␈↓ ↓H␈↓contacts,␈α∩I␈α∩was␈α∩favorably␈α⊃impressed␈α∩with␈α∩his␈α∩mathematical␈α⊃ability,␈α∩motivation,␈α∩and␈α∩ability␈α⊃to
␈↓ ↓H␈↓express␈α∂himself.␈α∞ I␈α∂have␈α∞no␈α∂doubt␈α∞that␈α∂he␈α∞will␈α∂do␈α∞well␈α∂as␈α∞a␈α∂university␈α∞mathematician␈α∂and␈α∞will
␈↓ ↓H␈↓continue to do signi≡cant research.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science